Artificial Intelligence:Knowledge Representation and Reasoning